Irx3<tm3.1Hui> Null/knockout Irx3<KO> targeted mutation 3.1, Chi-Chung Hui MGI:5444473 http://identifiers.org/mgd/MGI:5444473